E. W. F. de Roever: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Paleoproterozoic evolution of the Guiana Shield in Suriname: A revised model

Kroonenberg, S.B., de Roever, E.W.F., Fraga, L.M., Reis, N.J., Faraco, T., Lafon, J.-M., Cordani, U., Wong, T.E.

Journal:

Netherlands Journal of Geosciences – Geologie en Mijnbouw

Year:

2016

Language:

english

File:

PDF, 4.69 MB

english, 2016

2

Program derivation through transformations: The evolution of list-copying algorithms

N.W.P. van Diepen, W.P. de Roever

Journal:

Science of Computer Programming

Year:

1986

Language:

english

File:

PDF, 2.90 MB

english, 1986

3

A proof system for concurrent ADA programs

Rob Gerth, Willem P De Roever

Journal:

Science of Computer Programming

Year:

1984

Language:

english

File:

PDF, 2.77 MB

english, 1984

4

[Lecture Notes in Computer Science] Foundations of Object-Oriented Languages Volume 489 || Object-oriented programming versus abstract data types

de Bakker, J. W., de Roever, W. P., Rozenberg, G.

Year:

1991

Language:

english

File:

PDF, 2.00 MB

english, 1991

5

Kiliaen Van Rensselaer

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1890

Language:

dutch

File:

PDF, 1.35 MB

dutch, 1890

6

[Lecture Notes in Computer Science] Foundations of Object-Oriented Languages Volume 489 || Modelling features of object-oriented languages in second order functional languages with subtypes

de Bakker, J. W., de Roever, W. P., Rozenberg, G.

Year:

1991

Language:

english

File:

PDF, 2.06 MB

english, 1991

7

Microscopy as a tool for analysis of membrane failure and fouling

Emond W.F. de Roever, Ingmar H. Huisman

Journal:

Year:

2007

Language:

english

File:

PDF, 1.52 MB

english, 2007

8

Inductive Proof Outlines for Exceptions in Multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 314 KB

english, 2006

9

Fibre rising and surface roughening in lightweight coated paper—An environmental scanning electron microscopy study

Emon D. W. F. de Roever, David R. Cosper

Journal:

Year:

1996

Language:

english

File:

PDF, 6.70 MB

english, 1996

10

Chloritoid-bearing metapelites associated with glaucophane rocks in W crete

E. W. F. de Roever

Journal:

Contributions to Mineralogy and Petrology

Year:

1977

Language:

english

File:

PDF, 161 KB

english, 1977

11

The rely-guarantee method for verifying shared variable concurrent programs

Qiwen Xu, Willem -Paul de Roever, Jifeng He

Journal:

Formal Aspects of Computing

Year:

1997

Language:

english

File:

PDF, 1.41 MB

english, 1997

12

Plurifacial alpine metamorphism in the eastern Betic Cordilleras (SE Spain), with special reference to the genesis of the glaucophane

W. P. De Roever, H. J. Nijhuis

Journal:

International Journal of Earth Sciences

Year:

1964

Language:

english

File:

PDF, 903 KB

english, 1964

13

Indications of syngenetic origin of gold ore and ignimbrites near Rodalquilar (SE Spain)

W. P. De Roever, W. Lodder

Journal:

Bulletin of Volcanology

Year:

1967

Language:

english

File:

PDF, 308 KB

english, 1967

14

A proof rule for fair termination of guarded commands

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Journal:

Information and Control

Year:

1985

Language:

english

File:

PDF, 885 KB

english, 1985

15

Microbiological safety evaluations and recommendations on fresh produce

Journal:

Year:

1998

Language:

english

File:

PDF, 3.66 MB

english, 1998

16

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4111 || Model-Based Security Engineering with UML: Introducing Security Aspects

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2006

Language:

english

File:

PDF, 606 KB

english, 2006

17

[Lecture Notes in Computer Science] Compositionality: The Significant Difference Volume 1536 || Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

de Roever, Willem-Paul, Langmaack, Hans, Pnueli, Amir

Year:

1998

Language:

english

File:

PDF, 263 KB

english, 1998

18

Charnockites and UHT metamorphism in the Bakhuis Granulite Belt, western Suriname: Evidence for two separate UHT events

Klaver, Martijn, de Roever, Emond W.F., Nanne, Josefine A.M., Mason, Paul R.D., Davies, Gareth R.

Journal:

Precambrian Research

Year:

2015

Language:

english

File:

PDF, 970 KB

english, 2015

19

Maria Noëlle Ng, Three Exotic Views of Southeast Asia: The Travel Narratives of Isabella Bird, Max Dautehndey, and Ai Wu, 1850-1930. White Plains, NY, and Norwalk, CT: EastBridge, 2002. xiv + 212 pp. ISBN 1-891936-18-2 (hbk.); 1-91936-05-0 (pbk.).

de Roever, Arend

Journal:

Year:

2004

Language:

english

File:

PDF, 406 KB

english, 2004

20

[Lecture Notes in Computer Science] Foundations of Object-Oriented Languages Volume 489 || The structure and semantics of actor languages

de Bakker, J. W., de Roever, W. P., Rozenberg, G.

Year:

1991

Language:

english

File:

PDF, 3.73 MB

english, 1991

21

Een "Rembrandt" Op 't sTadhuis

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1892

Language:

dutch

File:

PDF, 3.11 MB

dutch, 1892

22

Rembrandt

De Roever, N., Bredius, A.

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1890

Language:

dutch

File:

PDF, 1.04 MB

dutch, 1890

23

[Lecture Notes in Computer Science] Foundations of Object-Oriented Languages Volume 489 || Designing an object-oriented programming language with behavioural subtyping

de Bakker, J. W., de Roever, W. P., Rozenberg, G.

Year:

1991

Language:

english

File:

PDF, 2.16 MB

english, 1991

24

Glaucophane schists from the North Berkeley Hills, California; discussion and reply

de Roever, W. P., Brothers, R. N.

Journal:

American Journal of Science

Year:

1955

File:

PDF, 1.42 MB

1955

25

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || Semantics of reactive systems in abstract time

de Bakker, J. W., Huizing, C., de Roever, W. P., Rozenberg, G.

Year:

1992

Language:

english

File:

PDF, 1.27 MB

english, 1992

26

Possible Origin of Diamonds in the Guiana Shield: Comment

Schonberger, H., de Roever, E.W.F.

Journal:

Year:

1974

Language:

english

File:

PDF, 193 KB

english, 1974

27

[Lecture Notes in Computer Science] Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Volume 354 || Temporal logics for CCS

de Bakker, J. W., de Roever, W. -P., Rozenberg, G.

Year:

1989

Language:

english

File:

PDF, 813 KB

english, 1989

28

[Lecture Notes in Computer Science] Foundations of Object-Oriented Languages Volume 489 || An actor-based metalevel architecture for group-wide reflection

de Bakker, J. W., de Roever, W. P., Rozenberg, G.

Year:

1991

Language:

english

File:

PDF, 1.40 MB

english, 1991

29

[Lecture Notes in Computer Science] Foundations of Object-Oriented Languages Volume 489 || Producing abstract models for object-oriented languages

de Bakker, J. W., de Roever, W. P., Rozenberg, G.

Year:

1991

Language:

english

File:

PDF, 1.15 MB

english, 1991

30

[Lecture Notes in Computer Science] Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Volume 354 || Partial orderings descriptions and observations of nondeterministic concurrent processes

de Bakker, J. W., de Roever, W. -P., Rozenberg, G.

Year:

1989

Language:

english

File:

PDF, 1.80 MB

english, 1989

31

Introduction to design choices in the semantics of Statecharts

C. Huizing, W.P. de Roever

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 1.29 MB

english, 1991

32

Semantics of nondeterminism, concurrency, and communication

Nissim Francez, C.A.R. Hoare, Daniel J. Lehmann, Willem P. De Roever

Journal:

Journal of Computer and System Sciences

Year:

1979

Language:

english

File:

PDF, 1.21 MB

english, 1979

33

A compositional axiomatization of Statecharts

J.J.M. Hooman, S. Ramesh, W.P. de Roever

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 2.93 MB

english, 1992

34

Compositional Operational Semantics of a UML-Kernel-Model Language

Harald Fecher, Marcel Kyas, Willem-Paul de Roever, Frank S. de Boer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 331 KB

english, 2006

35

An assertion-based proof system for multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 448 KB

english, 2005

36

Glaucophane problems

W. P. de Roever

Journal:

Mineralogy and Petrology

Year:

1972

Language:

english

File:

PDF, 776 KB

english, 1972

37

Towards a practitioners' approach to Abadi and Lamport's method

Kai Engelhardt, Willem -Paul de Roever

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

38

Schwach alkalischer frühgeosynklinaler Vulkanismus im Perm der Insel Timor

W. P. de Roever

Journal:

International Journal of Earth Sciences

Year:

1959

Language:

german

File:

PDF, 406 KB

german, 1959

39

Sind die alpinotypen Peridotitmassen vielleicht tektonisch verfrachtete Bruchstücke der Peridotitschale?

W. P. de Roever

Journal:

International Journal of Earth Sciences

Year:

1957

Language:

german

File:

PDF, 738 KB

german, 1957

40

On the cause of the preferential distribution of certain metamorphic minerals in orogenic belts of different age

W. P. de Roever

Journal:

International Journal of Earth Sciences

Year:

1965

File:

PDF, 720 KB

1965

41

Boekbespreking

J. Pen, H. J. Frietema, G. Greidanus, J. van Rees, v. S., A. W. F. Bakker, J. Meerdink, G. L. Groeneveld, L. G. J. V., H. Klompmaker, J. W. De Roever

Journal:

Year:

1954

Language:

dutch

File:

PDF, 1.78 MB

dutch, 1954

42

Ueber Virulenz und Virulenz-Curven

W. A. Collier, H. De Roever-Bonnet, J. Hoekstra

Journal:

Antonie van Leeuwenhoek

Year:

1959

File:

PDF, 769 KB

1959

43

Dacitic ignimbrites with upwards increasing compactness near sibolangit (NE Sumatra, Indonesia) and their peculiar hydrology

W. P. de Roever

Journal:

Bulletin of Volcanology

Year:

1966

Language:

english

File:

PDF, 464 KB

english, 1966

44

Colombeau algebras on a C∞-manifold

J.W.de Roever, M. Damsma

Journal:

Indagationes Mathematicae

Year:

1991

Language:

english

File:

PDF, 1.01 MB

english, 1991

45

Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941–November 2, 2009)

Willem Paul de Roever

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 379 KB

english, 2010

46

PREFACE

Willem-Paul de Roever

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 47 KB

english, 2000

47

An introduction to compositional methods for concurrency and their application to real-time

J J M Hooman, W P de Roever

Journal:

Year:

1992

Language:

english

File:

PDF, 2.39 MB

english, 1992

48

The μ-calculus as an assertion-language for fairness arguments

F.A. Stomp, W.P. de Roever, R.T. Gerth

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 2.39 MB

english, 1989

49

Compositional semantics for real-time distributed computing

R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth, S. Arun-Kumar

Journal:

Information and Computation

Year:

1988

Language:

english

File:

PDF, 2.42 MB

english, 1988

50

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 467 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски